Modal Ontology and Generalized Quantifiers
نویسندگان
چکیده
منابع مشابه
Modal Ontology and Generalized Quantifiers
Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distin...
متن کاملGeneralized quantifiers and modal logic
We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective...
متن کاملLabelled Modal Logics: Quantifiers
In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propo-sitional modal logics that includes K, D, T, B, S4, S4:2, KD45, and S5. Here we extend this approach to quantiied modal logics, providing for-malizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to bot...
متن کاملGeneralized Quantifiers
We review recent work in the field of generalized quantifiers on finite models. We give an idea of the methods that are available in this area. Main emphasis is on definability issues, such as whether there is a logic for the PTIME properties of unordered finite models.
متن کاملNegation and Generalized Quantifiers
Linguistic research has clearly shown that natural languages exhibit different forms of negation. Foremost among these are sentence negation and predicate negation. In this study, the relationship between both will be discussed. In particular, it wiu be argued that we can give an accurate description of the logical connections between sentence negation and predicate negation by reference to the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2012
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-012-9243-5